Subtype polymorphism

Results: 217



#Item
211Computing / Theoretical computer science / Data types / Polymorphism / Logic in computer science / Subtype polymorphism / Denotational semantics / Type system / Bounded quantification / Software engineering / Object-oriented programming / Type theory

PDF Document

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2005-05-17 17:16:01
212Type theory / Data types / Object-oriented programming / Go! / Semantic Web / Knowledge representation / Prolog / Subtype polymorphism / Polymorphism / Software engineering / Computing / Computer programming

PDF Document

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2005-08-22 06:40:52
213Computer programming / Inheritance / Entity-relationship model / Shamkant Navathe / Class diagram / Class / EER / Subtype polymorphism / Enhanced Entity-Relationship Model / Object-oriented programming / Software engineering / Computing

PDF Document

Add to Reading List

Source URL: tinman.cs.gsu.edu

Language: English - Date: 2011-10-10 21:31:03
214Data types / Java platform / Type theory / Java virtual machine / Java bytecode / Bytecode / Java / Subtype polymorphism / Pointer / Computing / Software / Cross-platform software

PDF Document

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2003-06-26 05:11:19
215Computing / Type system / Generalized algebraic data type / System F / Type inference / Lambda calculus / ML / Programming language / Subtype polymorphism / Type theory / Software engineering / Programming language theory

PDF Document

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2012-12-10 15:02:11
216Computing / Data types / Procedural programming languages / Object-oriented programming / Functional languages / Type system / Type inference / Generic programming / Subtype polymorphism / Software engineering / Type theory / Programming language theory

PDF Document

Add to Reading List

Source URL: adam.chlipala.net

Language: English - Date: 2012-09-05 20:22:17
217Data types / Type theory / Object-oriented programming / Functional languages / Polymorphism / OCaml / Subtype polymorphism / Type system / Caml / Software engineering / Computing / Computer programming

PDF Document

Add to Reading List

Source URL: files.metaprl.org

Language: English - Date: 2008-01-11 23:36:54
UPDATE